Blaise Genest: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Distribution-based objectives for Markov Decision Processes

Akshay, S., Genest, Blaise, Vyas, Nikhil

Year:

2018

Language:

english

File:

PDF, 808 KB

english, 2018

2

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Approximate Verification of the Symbolic Dynamics of Markov Chains

Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P.S.

Year:

2012

Language:

english

File:

PDF, 312 KB

english, 2012

3

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Blaise Genest, Dietrich Kuske, Anca Muscholl

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

4

Quasi-static scheduling of communicating tasks

Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 786 KB

english, 2010

5

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application

Palaniappan, Sucheendra K., Akshay, S., Liu, Bing, Genest, Blaise, Thiagarajan, P.S.

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2012

Language:

english

File:

PDF, 1.44 MB

english, 2012

6

Causal Message Sequence Charts

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. Thiagarajan, Shaofa Yang

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 2.14 MB

english, 2009

7

QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS

ELKIND, EDITH, GENEST, BLAISE, PELED, DORON, SPOLETINI, PAOLA

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 764 KB

english, 2010

8

Diagnosis from scenarios

Hélouët, Loïc, Marchand, Hervé, Genest, Blaise, Gazagnaire, Thomas

Journal:

Discrete Event Dynamic Systems

Year:

2014

Language:

english

File:

PDF, 2.01 MB

english, 2014

9

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Diagnosability degree of stochastic discrete event systems

Bazille, Hugo, Fabre, Eric, Genest, Blaise

Year:

2017

Language:

english

File:

PDF, 134 KB

english, 2017

10

On commutativity based Edge Lean search

Dragan Bošnački, Edith Elkind, Blaise Genest, Doron Peled

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 442 KB

english, 2009

11

Approximate Verification of the Symbolic Dynamics of Markov Chains

Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P. S.

Journal:

Journal of the ACM

Year:

2015

Language:

english

File:

PDF, 501 KB

english, 2015

12

[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination

Biswas, Debmalya, Gazagnaire, Thomas, Genest, Blaise

Year:

2008

Language:

english

File:

PDF, 298 KB

english, 2008

13

Modeling Variability in Populations of Cells using Approximated Multivariate Distributions

Pichene, Matthieu, Palanniappan, Sucheendra K., Fabre, Eric, Genest, Blaise

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2019

Language:

english

File:

PDF, 3.13 MB

english, 2019

14

Pattern Matching and Membership for Hierarchical Message Sequence Charts

Blaise Genest, Anca Muscholl

Journal:

Theory of Computing Systems

Year:

2008

Language:

english

File:

PDF, 704 KB

english, 2008

15

Privacy preserving minimal observability for composite transactional services

Biswas, Debmalya, Genest, Blaise

Journal:

Discrete Event Dynamic Systems

Year:

2014

Language:

english

File:

PDF, 3.17 MB

english, 2014

16

Qualitative Determinacy and Decidability of Stochastic Games with Signals

Bertrand, Nathalie, Genest, Blaise, Gimbert, Hugo

Journal:

Journal of the ACM

Year:

2017

Language:

english

File:

PDF, 967 KB

english, 2017

17

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Qualitative Determinacy and Decidability of Stochastic Games with Signals

Bertrand, Nathalie, Genest, Blaise, Gimbert, Hugo

Year:

2009

Language:

english

File:

PDF, 261 KB

english, 2009

18

Infinite-state high-level MSCs: Model-checking and realizability

Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 335 KB

english, 2006

19

[ACM Press the 9th International Conference - Paris, France (2011.09.21-2011.09.23)] Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11 - A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways

Palaniappan, Sucheendra K., Akshay, S., Genest, Blaise, Thiagarajan, P. S.

Year:

2011

Language:

english

File:

PDF, 603 KB

english, 2011

20

Regular set of representatives for time-constrained MSC graphs

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 232 KB

english, 2012

21

Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway

Palaniappan, Sucheendra K., Bertaux, François, Pichené, Matthieu, Fabre, Eric, Batt, Gregory, Genest, Blaise

Journal:

Year:

2017

Language:

english

File:

PDF, 569 KB

english, 2017

22

Complexity reduction techniques for quantified diagnosability of stochastic systems

Bazille, Hugo, Fabre, Eric, Genest, Blaise

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 385 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски